Métodos Formais no Projecto de Software A área dos métodos formais inclui todas as aplicações da matemática discreta a problemas de engenharia de software. Os métodos ...
A unidade curricular de "Análise e Concepção de Software" organiza se em torno de 4 módulos temáticos, correspondendo cada um a 5 ECTS, articulados entre si por um ...